Sounds good, to me; I did hear that the plug on the auxiliary engine oil cooler must be removed so that the oil can be drained from that too otherwise the new oil will get contaminated with some old oil lingering in it. I think, even if it's not stated in the manual, on an expensive car like this with such a hi-po motor, it is probably a good idea to change it at 500 miles or so; And then, driver can apply the full power at will!