Agreed, the RRS state that...
A7. RACE TIES
If boats are tied at the finishing line or if a handicap or rating system is used and boats have equal corrected times, the points for the place for which the boats have tied and for the place(s) immediately below shall be added together and divided equally. Boats tied for a race prize shall share it or be given equal prizes.
www.www.racingrulesofsailing.org/rules?part_id=53#:~:text=A7.%20RACE%20TIES
We hit the same issue this weekend...