Yes it was, as a personal favor by John Hall to the former owner.
Speaking of Blue Boy.......the Ric 4000 from Jim Reeves backup band the Blue Boys (where the name for the color came from) turned up for sale last year. Apparently it's whereabouts had been unknown for decades.
Went for big bucks.