Great responses.
Here's another issue. How are the GNSS units augmented for Boeing? I know the FAA has a TSO regarding 5 satellites with RAIM, or 4 if the GPS has baro-aiding. Is there anything that allows GPS augmentation using DME/DME/IRU through the FMS? And, if not, then how is augmentation accomplished?