May have lost 0.05 BTC sent by the faucet...

Had it sent to a windows box, windows almost immediately received a virus, I simply removed the HD and re-installed ubuntu to a new drive.

Time (and value of BTC) will tell if I ever boot up the old HD, remove the virus, and send my BTC back to the faucet/myself/anywhere.

TL;DR I probably lost 0.05 BTC.

Edit: I finally recovered them and have sent them back to the faucet! Enjoy, future bitcoiners!