Any cheap gizmo to mix two vga signals?

I'm wondering if there's any cheap gizmo out there that lets you blend two vga or hdmi signals? Ideally with the ability to let you set the relative level of each of the two video channels.

Thanks for any help.