Update: Dealer ended up having the car for a day and a half. They aren't entirely sure what the issue was but have reset the sensor, given it a run and are hoping for the best. So I have it back and need to let them know if it goes again. Thankfully, no mention of me having to pay anything this time!