I have no experiences with tanning ledges, but that fix sounds expensive. Are "they" covering it under warranty or are you going to have to pay for it to be done?