The A380 in F shows up by itself. Weirdly, the F availability on EF varies based on which SGN-BKK segment you pick up, it's either F4A4P1 (with TG551) or F4A3P0 (with TG557). The TG website has trouble pricing the itinerary as a mixed class booking, but Orbitz manages to get it done.
https://www.orbitz.com/Flights-Searc...01&eapid=69983