Yes it is in Thai Bht and yes the majority was transferred at around 70-75 exchange rate (Sterling).
You are probably very content that you cashed in at that time. I surmise sometime in 2005 or 2006.
In retrospect if you cashed in an abundance of chips you may look like a genius.
My circumstances and timing was certainly different (read below).
My lump sum was transferred late 1999 or early 2000.
Sent at no charge from the sender. That is a good deal.
I believe I paid USD 45 for transfer from a institution in the States to my Thai account whether it was $ 5,000 or $ 50,000.
The Government pensions department do not charge for sending overseas (although they send it in the currency of the receiving bank). My pension is sent to Jersey.
I was initially told that my company pension could be sent to a Thai bank at a charge of Sterling 18.00 per transaction. However, whether they forgot, changed policy or I just slipped through the net, I don't know (and have not asked).