True. And in this case they absolutely did not have WAAS, since they're in Europe. They're likely equipped with an SBAS receiver, which may or may not be used for navigation. And even if the SBAS receiver is connected to the FMS/FMC, it doesn't guarantee they have LPV capability