pull down to refresh

Yes, there are hardcoded list of both .onion and .i2p peers too, updated from time to time. https://github.com/bitcoin/bitcoin/tree/master/contrib/seeds
Assuming your ISP isn't themselves MITM attacking you
Running onion AND i2p would help here even if ISP is trying to MITM attack you.