it's most likely just some production library music. i can't imagine they'd use video game songs just for the sake of it. not only would they be more difficult to license for use but game music had not really developed an identity and public affection at that time.
PS i love that show
