I won 1k on a scratch off once. After filling out the prerequisite paperwork and getting the money, I received a tax form from the state at the end of the year and approximately 50% of your winnings magically turn into taxes.
So really, your question is, what pin is the best bang-for-the-buck for 4k.
As mentioned previously in the chain, BSD no question. Maybe a Shadow second, with an alternate translite package. And if you manage to find a seller who doesn't know what they are doing, maybe a whitewater.......