BTW, I looked up “Spaceballs” earlier and its actor’s list has John Hurt as John Hurt. Probably one of those “Uncredited Roles”.
No doubt. Ya never know who might pop up! (So to speak...)