That’s what I figure. Mine is about 5 years old and have had no problems. I appreciate your help on this because a friend has one he bought about the same time you bought yours and afraid he might have a problem but thanks to your research I now have a answer for him if he does.