Record player woes...

Every night at dinner my husband likes to play a record on his vintage record player. We noticed this week that his record player has not been shutting off when it should. This is distressing to him, and he is hoping to fix the record player as soon as he can. We realize that this is not a great problem, but when you love music as much as he does it is bothersome. I imagine that it would be simpler if he just used some digitized method of listening to his music. He could easily find something like but he prefers his music to be created via an old school method. I have to admit that even though I am not a fan of music I do enjoy this nightly ritual we enjoy as a family.