The #recordplayer mechanism has been returned to its owner (my "projector repair sensei") and reinstalled, and it's playing music :)