Try windex on ink stains. it can take care of marker ink too, unless it is the permanent kind. At the very least, it can soften it some...You did a great job on the repair!
Great job of fixing this cushion. Sometimes we are the ones that learn a lesson when being forced to fix something. Hope the "puppy" (LOL) is out of the dog house!