it's about $15 bucks. I can get you the HMC part number for it. but what you will need to do is call your local auto parts store and ask if they carry it. Tell them you need the AC belt for a 2000 Tiburon. They should be able to look up the part number in their system and let you know if they have it. Worse case, you order it from the dealer.

One word of warning, you have to remove the Alternator/water pump belt to replace the AC belt. So be prepared for a PITA install. As long as you are at it, you might want to replace ALL the belts.

 

97713-29000 $20.73 A/C
25212-23000 $10.55 W/P
57231-29200 $7.88 P/S