In the prv view, you can show controller lanes underneath the notes. One of these controllers ( CC 6 I think) shows when the sustain is depressed or released. Using the DRAW tool (from the hud ), you can add sustain pedal up or down at the appropriate time. Small triangles appear as you do so. To open the controller lane, press on the little plus sign at the left of the lanes eg in the volume controller lane.
As regards timing, if you can get close enough , have you ever tried quantizing ? This will move selected notes to the nearest point on a grid to a resolution of your specification . Sometimes this has worked for me , but it can make things worse if you're way out. I usually have to play something several times before going to work with quantize and editing in the prv.
And another thing I do is set the project to a slightly slower tempo whist I record to give myself a better chance to be accurate, before reverting to the correct tempo.