I thought the Ku-band user access frequencies used by Starlink was 12GHz down and 14.5GHz up?
As those are the easy to license frequencies globally.
Not to mention, 17GHz is far away from 12GHz and 14.5GHz, so the antenna complexity also goes up.
And the teardowns of civilian Starlink terminals have not shown dual band antennas so far.