All they need to do is download the aqua wallet and use fixed float to swap it to whatever tether version they want