While visiting "House on the Rock", located between Dodgeville and Spring Green, Wisconsin, my son was dancing to this tune.  Does anyone know the name of it?

http://www.mmdigest.com/Attachments/18/12/11/181211_193153_tune.mp4 
or  https://youtu.be/lZHKwDNKS-A 

Thank you for your help,
Amanda Taylor

 [ The arrangement sounds like it's by J. Lawrence Cook.
 [ -- Robbie