According to the same adult film web page, Sean's name was already registered as a trademark, while Shawn Michaels had not registered his moniker.
Prema istoj stranici Seanovo ime je već bilo registrirano kao zaštitni znak (trademark), dok Shawn Michaels nije registrirao svoje.