You're right - The standard thickness of uncompressed R13 is something like 3.5" and R11 is something like 3". In practice, they're both very similar. When it is on the roll, it's compressed down to about an inch, but after removal, it quickly expands to about 2-3"That's the stuff you want.