It seems to me the easiest way would be #3, wait until you get the refund, then do an amended return and pay the $5000. With the filing extension being until Jul 15, this shouldn't be any problem this year. The other options seem rather complicated.
