I finally bought a USB meter and the findings so far are:
Raspberry Pi Pico with WiFi on is using 40mA all the time. Now that is a lot.
I could have bought a more precise meter.
I will be now investigating ways to reduce the Pico's power consumption.