Anybody know what DCT Service Price is?

Im looking at a used 2022 Mini Cooper S with DCT (56k miles) and I understand you really ought to get these serviced (fluids, filter, software reset) every 50k miles. Wondering what this will run me as I'll want to get it done asap if I buy this car.