No way are they going to replace the belt when they do the swing arm. Even if one is needed, I'm sure the dealer will offer to replace it for you at no additional labor costs as long as you pay the $200+ price for the belt. Polaris even puts the drive belt in print in the owners manual as a non covered component.
Attention Vendors. Please email email@example.com any instruction manuals you may have for your products. They will be added to the FILEBASE tab for members to access.