Rotary Cutter Rotary Cutter ? What brand is this

[gtrippleb]

I was wondering if anyone would happen to know what brand this rotary cutter might be? I'm going to go take a look at it and was wondering if anyone might know what brand it is? The seller wasn't sure.
It's a 4 footer and for $200 I think it will do just fine for what I'm going to use it for.

Thanks