Audi R8 manual boot release?

[After_Shock]

Just a quick question on a 2009 LHD R8 the auto boot release doesn't work, pressing the switch activates a solenoid noise but it doesn't open, ive found a red pull toggle behind the drivers seat (LHD car) is this the manual release for it?

Cant find the hand book otherwise would have a look!

Any advice much appreciate as under the engine panel is filthy now and in dire need of a clean.

Thanks