Du liegst mit deiner vermuttung sehr richtig.
Die Torxschraube muss raus, dann kannst du auch die abdeckung nach oben abziehen.
Das ganze wird wohl nicht ohne weiteres gehen, (habe bei mir auch erst vor kurzem machen müssen), die Schraube ist festgerostet und nun dreht sich das Gewinde mit.
Entweder aufbohren, oder wie ich einfach mit gewalt abziehen, der deckel kostet bei BMW rund 5-6€