Thank you for sharing this! Its always fun to realize when either friends or fellow nerds happen to share a MASSIVE intersection of entertainment.