Is there an actual EFI Shell for the T7920? Where might I get a copy of the Official Dell Shell? The ESP on my system just seems to have the boot manager.

Thanks for any help.