IIRC, the band asked Yes if they minded them doing "Machine Messiah," so if it didn't bother Yes, it probably shouldn't bother fans too much, although I can sort of see why some might find it a bit tacky. Oh, and while Yes has since played that song, they hadn't played it in over 20 years at the time DT covered it, and have only played it since because Jon Anderson is no longer in the band.