Points night and drawn races

With  Barry and Dan  having a draw the  other  night (4th =)  it got  me thinking  what  would happen  if it  happened on  a  points night. Would they share 7 points each or 6.5 points  each if they split  the points between  them  (4th = 7 points, 5th  =  6 points). Or should there be a race off  to decide (something like 2 x 1 min  races). Although it is  very rare for  this to happen,  it  dose  happen  now and again. Just something  to think  about  before we race on  Wed.