Ah, sorry, I was a little to fast earlier. When I expanded the dot product and got the actual result, I thought I was finished.
So, the rotated unit v3 vector is, v3rot = [-b a]/sqrt(b^2+a^2)
Now we can do the scalar projection from v4 onto this, and we get the height of the parallelogram: h...