I thought the SBB RABe 523 services operate between Lustenau and Lindau Hbf. But Looks like all SBB 523 services only operate between Bregenz and Lindau Hbf. Is that how they operate in IRL?
I believe the explanation was that they don't stop in Lustenau IRL, their first stop after Bregenz is in Switzerland so the part from Bregenz to Lustenau is AI only in TSW.