Sanding out the roughness works great. And then season on the gas grill using grape seed oil. I've tried various vegetable oils and always wound up with sticky residue but the grapeseed oil leaves a hard glassy finish.
Fire up the grill good and hot, coat the skillet inside and out including the handle, put it on the grill upside down for about 20-30 mins.
