Actually was expecting they would withhold 15%.  But, regardless, if I am not looking to have less withheld (either 15 or 10%), then I simply provide the agent with Form 8288 for them to complete and form 8288-A for them to send with payment to IRS and copy to seller?  Just looking for confirmation that I have done research correctly.  Appreciate your time and effort!