How is it a mistake of his own doing if he hit a glitch/bug in the game which resulted in him losing everything? I am sure if he had lost his ship through collision into a structure, side of a letterbox or pvp etc he would not of been reimbursed.
Actually there was a thread the other day by a guy who lost his Conda because he took on more npcs than he could handle and exploded. He ticketed it and was refunded... It's not sour grapes on a personal level, I'm genuinely glad the OP hasn't quit and got his ship back. Thing is I'm somebody who spent 6 months attempting to get a technical issue addressed by support. My ticket was auto closed about 4 times. Finally I lost my rag and wrote a mail explaining how annoyed I was, how it didn't leave me inclined to bug report or beta test and how I sure as hell wouldn't be spending any more money with FD. Guess what, ticket promptly answered...
I would hate to know how much support time is wasted on tickets from people who lost ships due to their own errors (and yes, many of us have lost ships to the toast rack of doom, we just didn't cry on the forum and ticket it). I nearly quit because the issue I had was so detrimental to my gameplay. But yay! somebody careless got their Conda back.