Am I correct that with the nfet_g5v0d10v5 device, the bulk is not isolated, so in simulation it has to be connected to ground, and not the source for example? I see that it can only do 5V BS voltage, so say if I want to make a 10V diffpair with it I'm going to have a bad time, right? So I guess either I have to go for the 20V isolated fets, or stay with max 5V input?