Lawn repair after rv drove on yard?

Live in washington state and we have had a ton of rain in the last week. Im buying a new rv and i moved my fence back a few feet. It is a virtual mud pit behind the house.

My queston is where do i even start?? Im putting a few pavers in the front fo the trailer to roll back on so i dont since into the grass, but how do i repair the mud pit?

Do i have to wait until summer till it all drys out? I was thinking of waiting until it dried, then using an airator, then adding some sand and reseeding? I have no idea.

Here is a pic.