If you are going to do it then do it well and go for the proper respray. It'll look great afterwards, anything less will always disappoint. If it seems a bit expensive then go for option 4 (a good wash!) to brighten it up whilst you shovel cash into your piggy bank and browse the colour charts 
Cheers,
Steve
PS I sent you a personal message...