Yep, something like that. I don't think JVR will be a Leaf but he might.

I'd think JVR would get a little more, but where did Manson come from? Who did the Leafs' give up for him? Curious to see what you think his value is

Looking at similar contracts for top LW around 5.5 looks right. Lucic only got 6, Ladd was 5.5, Schwartz is 5.3, E Kane is 5.25. So i think somewhere around there is reasonable. JVR likes it here and i think if he's bought in to the future of the leafs he'll sign for a tad less (even though 5.5 isn't that much of a discount).
For the Manson contract it doesn't necessarily NEED to be him but someone of a similar style with a similar contract range. However some if there was a trade for Manson specifically i think he could be had a bit cheaper because of the expansion draft. Maybe like a Komarov, Lindberg and a 4th. I have mixed feelings about Manson because I think he has potential to be really good but also might just end up as a bottom pairing guy. If his price was too high I would rather just search out for a cheaper option.