Hello Menard
Do you really want to vacation there, Mauritius Islands. East and South of Somalia & Iraq in the Indian Ocean, no thank's. From what I heard most end up in European aquariums to the tune of 1000 euro's or so, just a short hop to Frankfort. You have to take into consideration that their home range is tiny, and they are rarely collected! 100 or so a year and regulated by the local's.
Don't worry, place your order know as you'll have plenty of time to save up for it! At $3500.00 retail it won't last long? I wouldn't be surprised if it's sold already!