Should have just checked with PHNC, sent him $4k, and the other $1k to
Uncle Sam with a note telling them what you did. You'd have felt better sending money to a fellow lounger, and I'm sure the gubmint would understand and appreciate you eliminating some red tape.