I've checked the whole boot area, but couldn't discover any other sensors, so I'm guessing it will be a microswitch. I will look some more into it once I'm done with the timing belt since the battery is disconnected at the moment. Thanks all for the suggestions.
|