You are correct, 7.2 is the most current update available.
The Brax team is making some adjustments on where to host the “OTA updates” so the 7.3 (and future) updates depend on them completing these adjustments. Here is a similar thread discussing this: Where is Iode 7.3 for Brax3?