Oh man, I feel like The Pit, Chief Lemon Buyer....

So I have this Dell WD19 USB-C docking station that should, through USB-PD 3.0, deliver 90W to non-Dell devices. I also just got the Lenovo IdeaPad 5 Pro (16APH8) that has two USB-C ports that support USB-PD 3.0 and a charger was delivered...