You could save a lot of money if you DIY it.
You can DIY it if you know how to use tools. Aftermarket belts, in my experience, wear out faster than Hyundai OEM belts. For peace of mind, I'd still stick with the OEM one. Also, don't forget to change the clutch actuator fluid.