Grini, տեղումների ռադար